<html>
<body>

Example demonstrating how the Java compiler enforces Liskov Substitution Principle (LSP). 
There is no executable in this example - the point is to demonstrate that the compiler allows overriding a method with a method that has stronger post-conditions. 
In this case, the overriding method throws and exception that is a subtypes of the exception thrown by the overridden method. 

<p/>
&copy; Jens Dietrich, 2012

</body>
</html>